Compositional testing of management conformance for multi-component enterprise applications

Abstract The management of modern enterprise applications is automated by coordinating the deployment, configuration, enactment, and termination their components. Choosing among different candidate implementations for a specified application component requires such to conform behaviour. This holds especially if we wish ensure that overall can continue as planned, or no additional (potentially undesired) activity gets enabled. To this end, introduce formal framework testing “management conformance”, i.e., test whether implementation be managed according protocol specifying allowed component. We also illustrate how our enables run four conformance tests, each providing trade-off between freedom guarantees on management. formally prove with constraints reducing results in preserving all already activities when implementing specification choosing conforming Finally, assess means prototype its use an experimental evaluation.